// local reading of the file js
function handleFileSelect(evt) {
	evt.stopPropagation();
	evt.preventDefault();
	var files = evt.target.files;
	var file = files[0];
	var reader = new FileReader();
	// init the reader event handlers
	reader.onloadend = function(evt) {
		var data = evt.target.result;
		string += data;
	}
	reader.readAsText(file);
}

//something about the selection of the file.
function setListenerForReadingFile() {
	document.getElementById("readFile").addEventListener("change", handleFileSelect, false);
}